void stats();
void print_stats();